Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
321	The Generic Eclipse Modeling System Add to Reading List Source URL: www.eclipse.org Language: English - Date: 2014-03-11 15:27:39 Eclipse Unified Modeling Language Scientific modeling Systems engineering Generic Eclipse Modeling System Constraint programming Domain-specific modeling Graphical Modeling Framework Eclipse Modeling Framework Software engineering Computing Software
322	Satellite Data Download Management with Uncertainty about the Generated Volumes C´edric Pralet and G´erard Verfaillie and Adrien Maillard Onera, Toulouse, France Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2014-02-14 15:28:28 Applied mathematics Scheduling Business Constraint optimization Linear programming Automated planning and scheduling Government procurement in the United States Operations research Planning Scheduling algorithms
323	Alloy: A Higher-Order Relational Constraint Solver Aleksandar Milicevic Joseph P. Near Eunsuk Kang Add to Reading List Source URL: people.csail.mit.edu Language: English* - Date: 2014-09-09 16:16:23 Electronic design automation Formal methods Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories First-order logic Alloy Tree Theoretical computer science Mathematical logic Applied mathematics
324	Constraint Acquisition via Partial Queries keywords: Constraints, Modeling Abstract We propose to learn constraint networks by asking the user partial queries, that is, to classify assignments on subsets of the variables Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2013-01-30 05:47:45 Theoretical computer science Constraint satisfaction Constraint graph FO Constraint Decomposition method Constraint inference Constraint programming Software engineering Computer programming
325	REES User Manual Bayesian Network New Bayesian network: Add to Reading List Source URL: graphmod.ics.uci.edu Language: English - Date: 2009-05-11 14:03:27 Constraint programming Bayesian network Networks
326	http://4c.ucc.ie/~rmarines/talks/tutorial-IJCAI-09-syllabus.pdf Combinatorial Optimization for Graphical Models Rina Dechter Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2009-08-12 01:12:13 Applied mathematics Operations research Mathematics Constraint optimization Optimization problem Relaxation Combinatorial optimization Local consistency Linear programming Mathematical optimization Constraint programming Theoretical computer science
327	Growing Solver-Aided Languages with ROSETTE Emina Torlak & Rastislav Bodik U.C. Berkeley Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:27:03 Constraint programming Electronic design automation Formal methods Logic in computer science NP-complete problems Satisfiability Modulo Theories AMPL Theoretical computer science Applied mathematics Software engineering
328	Efficient Analyses for Realistic Off-Line Partial Evaluation: Extended Version DIKU technical report 93/4, ISSNAnders Bondorf & Jesper Jørgensen DIKU, Department of Computer Science, University of Copenhagen, Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:55 Computer programming Data-flow analysis Type system Lambda calculus Closure Constraint logic programming Constraint satisfaction Software engineering Constraint programming Computing
329	Scheduling and SAT Emmanuel Hebrard Toulouse Outline Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2014-02-17 02:59:42 Constraint programming Logic in computer science NP-complete problems Boolean algebra Boolean satisfiability problem Electronic design automation Satisfiability NP-complete Model checking Theoretical computer science Applied mathematics Computational complexity theory
330	Microsoft Word - Batch forming _SIMMOD 2005_.doc Add to Reading List Source URL: www.mssanz.org.au Language: English - Date: 2013-01-15 21:50:28 Computing Constraint satisfaction Local search Scheduling Candidate solution Constraint Mathematical optimization Constraint programming Software engineering Computer programming

UPDATE